#!/bin/bash

time (./recompile && ./inst)

